<?php

function url($path){
    return $path;
}

function demo_url($demo){
    return url("/demo/{$demo}");
}
?>
